3

Invited Commentary on “Imaging of Intestinal and Multivisceral Transplantation”

Year:
2018
Language:
english
File:
PDF, 49 KB
english, 2018
4

Lock-free concurrent binomial heaps

Year:
2018
Language:
english
File:
PDF, 965 KB
english, 2018
9

Discovering and correcting a deadlock in a channel implementation

Year:
2019
Language:
english
File:
PDF, 383 KB
english, 2019
11

Probabilistic and prioritized models of timed CSP

Year:
1995
Language:
english
File:
PDF, 2.41 MB
english, 1995
15

An attack on the Needham-Schroeder public-key authentication protocol

Year:
1995
Language:
english
File:
PDF, 246 KB
english, 1995
16

Limitations in US Diagnosis of Adenomysosis

Year:
2019
Language:
english
File:
PDF, 90 KB
english, 2019
19

Clinical and imaging overview of functional adrenal neoplasms

Year:
2012
Language:
english
File:
PDF, 916 KB
english, 2012
23

Case 235

Year:
2016
Language:
english
File:
PDF, 357 KB
english, 2016
26

Homogeneous T1 Hyperintense Renal Lesions with Smooth Borders

Year:
2016
Language:
english
File:
PDF, 86 KB
english, 2016
28

How to prevent type flaw attacks on security protocols

Year:
2003
Language:
english
File:
PDF, 186 KB
english, 2003
33

Models for CSP with availability information

Year:
2016
Language:
english
File:
PDF, 500 KB
english, 2016
44

Case 275

Year:
2019
File:
PDF, 513 KB
2019
46

Analysing a stream authentication protocol using model checking

Year:
2004
Language:
english
File:
PDF, 263 KB
english, 2004